An Overview of Symbolic Analysis Techniques Needed for the Effective Parallelization of the Perfect Benchmarks
نویسندگان
چکیده
THE EFFECTIVE PARALLELIZATION OF THE PERFECT BENCHMARKS R William Blume and Rudolf Eigenmann Center for Supercomputing Research and Development University of Illinois at Urbana-Champaign [email protected] and [email protected] Abstract: We have identi ed symbolic analysis techniques that will improve the e ectiveness of parallelizing Fortran compilers, with emphasis upon data dependence analysis. We have done this by comparing the automatically and manually parallelized versions of the Perfect BenchmarksR . The techniques include: symbolic data dependence tests for nonlinear expressions, constraint propagation, array summary information, and run time tests.
منابع مشابه
Eecient Symbolic Analysis for Optimizing Compilers ?
Because most of the execution time of a program is typically spend in loops, loop optimization is the main target of optimizing and restructuring compilers. An accurate determination of induction variables and dependencies in loops is of paramount importance to many loop optimization and parallelization techniques, such as generalized loop strength reduction, loop parallelization by induction v...
متن کاملEfficient Symbolic Analysis for Optimizing Compilers
Because most of the execution time of a program is typically spend in loops, loop optimization is the main target of optimizing and restructuring compilers. An accurate determination of induction variables and dependencies in loops is of paramount importance to many loop optimization and parallelization techniques, such as generalized loop strength reduction, loop parallelization by induction v...
متن کاملPerformance Analysis of Parallelizing Compilers on the Perfect Benchmarks Programs
We have studied the e ectiveness of parallelizing compilers and the underlying transformation techniques. This paper reports the speedups of the Perfect Benchmarks codes that result from automatic parallelization. We have further measured the performance gains caused by individual restructuring techniques. Speci c reasons for the successes and failures of the transformations are discussed, and ...
متن کاملParallelization of Rich Models for Steganalysis of Digital Images using a CUDA-based Approach
There are several different methods to make an efficient strategy for steganalysis of digital images. A very powerful method in this area is rich model consisting of a large number of diverse sub-models in both spatial and transform domain that should be utilized. However, the extraction of a various types of features from an image is so time consuming in some steps, especially for training pha...
متن کاملProcess-focused Conversation Analysis: Proposing an Approach for Intervention and Assessment the Field of Counseling and Psychotherapy with People Suffering from Depression
Purpose: The present research was conducted with the aim of determining the position of questioning, skills, and techniques in counseling of clients with depression using a process-focused conversation analysis method. Methods: The research method was of qualitative type, with single-subject design. Two persons with depression referring to Sepand Counseling Center in Ardabil were selected using...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994